Building Proofs in Context
نویسندگان
چکیده
When reasoning with implicitly deened contexts or theories, a general notion of proof in context is more appropriate than classical uses of reeection rules. Proofs in a multicontext framework can still be carried out by switching to a context, reasoning within it, and exporting the result. Context switching however does not correspond to reeection or reiication but involves changing the level of nesting of theory within another theory. We introduce a generalised rule for proof in context and a convenient notation to express nesting of contexts, which allows us to carry out reasoning in and across contexts in a safe and natural way.
منابع مشابه
Building a Multi-Objective Model for Multi-Product Multi-Period Production Planning with Controllable Processing Times: A Real Case Problem
Model building is a fragile and complex process especially in the context of real cases. Each real case problem has its own characteristics with new concepts and conditions. A correct model should have some essential characteristics such as: being compatible with real conditions, being of sufficient accuracy, being logically traceable and etc. This paper discusses how to build an efficient mode...
متن کاملThe Role of Educational Context in Influencing EFL Teachers’ Sense of Efficacy Beliefs
Teachers’ sense of efficacy belief has been introduced as a context-specific construct, but the related literature is not clear on this specificity. This study was an attempt to show how contextual factors influence efficacy beliefs among English language teachers. To this end, thirty Iranian EFL teachers working in both school and private institute contexts were chosen as the participants to r...
متن کاملReflective Teaching in the Context of a Video Club: Nurturing Professional Relationships and Building a Learner Community
The purpose of this study was to examine how four teachers used the seven processes of videotape analysis to develop an analytic approach and reflective thinking towards their teaching. The study was organized within video clubs and was used to describe the interactions among four teachers about their experiences at a language institute. Data were gathered through videotaped recordings of lesso...
متن کاملProofs in Context
When reasoning about reasoning, one often needs to carry out some proof steps within a diierent theory from the current one and then to lift the conclusions back into the original theory. The deductive rules required to carry out these steps involve either reeec-tion principles or some other notion of proof in context. Reeection principles have to be carefully restricted in order to avoid parad...
متن کاملExploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs
Proof presentation systems and, in some more general context, many natural language generation systems suffer from a crucial problem: they present too much information explicitly which the intended audience could more naturally infer from a less detailed text. Moreover, proofs in mathematical textbooks make extensive use of building chains of inferences in specialized notations, which is not su...
متن کامل